1. Enumerability, decidability, computability. An introduction to the theory of recursive functions
پدیدآورنده : Harmes, Hans
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Recursive functions,، Algebraithms,، Godel's theorem
رده :
QA
248
.
5
.
H413
1969